8*integral_0^1 ((1-x)/(1+x^2)^2)